1. A course in mathematical logic for mathematicians
پدیدآورنده : Yu. I. Manin ; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin
کتابخانه: Central Library Yasuj University (Kohgiluye va Buyer ahmad)
موضوع : Logic, Symbolic and mathematical,Einfeuhrung., swd,Mathematische Logik., swd
رده :
511
,.
3
,.
M296
,
2010
2. A course in mathematical logic for mathematicians
پدیدآورنده : / Yu. I. Manin
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
M29613
2010
3. Between logic and intuition :
پدیدآورنده : edited by Gila Sher, Richard Tieszen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parsons, Charles,1933-.,Parsons, Charles.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,08.33 logics and argumentation.,Intuition,Intuition.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logica.,Logik,Mathematics-- Philosophy.,Mathematics-- Philosophy.,Paradoxes.,Set theory.,Wiskundige logica.
رده :
QA9
.
A5
B489
2000
4. Between logic and intuition :
پدیدآورنده : edited by Gila Sher, Richard Tieszen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Lógica simbólica y matemática.,Matemáticas-- Filosofía.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.
رده :
QA9
.
A5
B489
2007
5. Carnap's Logical syntax of language
پدیدآورنده : edited by Pierre Wagner
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Carnap, Rudolf,1981-0791.Logische Syntax der Sprache,Congresses ، Logic, Symbolic and mathematical,Congresses ، Grammar, Comparative and general - Syntax,Congresses ، Logical positivism
رده :
B945
.
C163
L6338
2009
6. Logical Foundations of Cyber-Physical Systems /
پدیدآورنده : by André Platzer.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Automatic control.,Computer science.,Industrial safety.,Logic, Symbolic and mathematical.,Mechatronics.,Quality control.,Reliability.,Robotics.,Artificial intelligence.,Automatic control.,Computer science.,Industrial safety.,Logic, Symbolic and mathematical.,Mechatronics.,Quality control.,Reliability.,Robotics.
رده :
QA8
.
9-QA10
.
3
7. Mathematical Thought :
پدیدآورنده : by Evert W. Beth.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Philosophy (General),Science -- Philosophy.
رده :
QA9
.
B948
1965
8. Mathematics and the natural sciences :
پدیدآورنده : Francis Bailly, Giuseppe Longo
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Biomathematics,Mathematical models,Mathematics-- Philosophy,Physics-- Philosophy,Space and time
9. Principles of intuitionism :
پدیدآورنده : A. S. Troelstra.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Intuition.,Logic, Symbolic and mathematical.
10. Principles of intuitionism
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Intuition,، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
95
11. Principles of intuitionism
پدیدآورنده : Trolstra, Anne Sjerp
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Intuition,، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
95
12. The origin of the logic of symbolic mathematics :
پدیدآورنده : Burt C. Hopkins
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA9
.
H66
2011
